Ida Rkllab Memo 1995
نویسنده
چکیده
This memo presents current research in our laboratory. We address the following research topics: 1. Semantics-based assessment of nonmonotonic entailment methods for actions and change. 2. Implementation techniques for nonmonotonic entailment methods. 3. Algorithmic methods for planning and temporal reasoning. 4. Hybrid modelling of physical systems. 5. Design methodology for intelligent autonomous robotic systems. 6. `Fuzzy'-related design principles for intelligent autonomous robotic systems. 7. Several industrial application projects.
منابع مشابه
Category : Informational March 1995 BGP - 4 Protocol Analysis
Status of this Memo This memo provides information for the Internet community. This memo does not specify an Internet standard of any kind. Distribution of this memo is unlimited.
متن کاملISO Transport Class 2 Non-use of Explicit Flow Control over TCP RFC1006 extension
Status of this Memo This memo provides information for the Internet community. This memo does not specify an Internet standard of any kind. Distribution of this memo is unlimited.
متن کاملNetwork Working Group P. Traina, Editor Request for Comments: 1774 cisco Systems
Status of this Memo This memo provides information for the Internet community. This memo does not specify an Internet standard of any kind. Distribution of this memo is unlimited.
متن کاملThe Exponential Security System TESS: An Identity-Based Cryptographic Protocol for Authenticated Key-Exchange (E.I.S.S.-Report 1995/4)
Status of this Memo This memo provides information for the Internet community. This memo does not specify an Internet standard of any kind. Distribution of this memo is unlimited. Abstract This informational RFC describes the basic mechanisms and functions of an identity based system for the secure authenticated exchange of cryptographic keys, the generation of signatures, and the authentic dis...
متن کاملMultimedia E-mail (MIME) User Agent Checklist
Status of this Memo This memo provides information for the Internet community. This memo does not specify an Internet standard of any kind. Distribution of this memo is unlimited. Abstract This document presents a checklist to facilitate evaluation of MIME capable User Agents. Access to a MIME test-responder, that generates test-messages is described.
متن کامل